home *** CD-ROM | disk | FTP | other *** search
/ Programmer Plus 2007 / Programmer-Plus-2007.iso / Programming / Borland Plateform / Turbo Prolog 2 / EXAMPL25.PRO < prev    next >
Encoding:
Prolog Source  |  1986-04-25  |  350 b   |  15 lines
  1.              /* Program 25 */
  2. domains
  3.     list = integer*
  4. predicates
  5.     member(integer,list)
  6.     intersect(list,list,list)
  7. clauses
  8.     member(X,[X|_]).
  9.     member(X,[_|Y]):- member(X,Y).
  10.  
  11.     intersect([],_,[]).
  12.     intersect([H|T],Y,[H|T2]):-
  13.         member(H,Y),!,intersect(T,Y,T2).
  14.     intersect([_|T],Y,Z):- intersect(T,Y,Z). 
  15.